es{-}rcvtype(${\it es}$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}M(${\it es}$)(es{-}lnk(${\it es}$; $e$),es{-}tag(${\it es}$; $e$))